|
|
|
| e-Pub |
Previous | 
Home
Section: Dissemination
Promoting Scientific Activities
Scientific Events Organisation
Member of the Organizing Committees
Jean-Pierre Talpin served as Finance Chair and Local Organizer of the 16th J16th ACM-IEEE conference on methods and models for system design in Beijing, China (http://memocode.irisa.fr/2018) and its 1st embedded workshop on formal methods in China’s industry.
Scientific Events Selection
Member of the Conference Program Committees
Jean-Pierre Talpin served the program committee of:
-
LCTES'18, 21th. ACM SIGPLAN-SIGBED Conference on Languages, Compilers, and Tools for Embedded Systems
-
SCOPES'18, 21th. International Workshop on Software and Compilers for Embedded Systems
Reviewer
Thierry Gautier reviewed articles for IEEE Access and Science of Computer Programming.
Journal
Member of the Editorial Boards
Jean-Pierre Talpin is Associate Editor with the ACM Transactions for Embedded Computing Systems (TECS).
Reviewer - Reviewing Activities
Thierry Gautier reviewed articles for IEEE Access and Science of Computer Programming.
Invited Talks
Jean-Pierre Talpin gave a keynote entitled “Refinement types for system design” at the Symposium on Dependable Software Engineering (SETTA'17) in Changsha, October 25.
Thierry Gautier and Albert Benveniste gave a seminar on “The Signal synchronous language: the principles beyond the language and how to exploit and extend them”, in March 2018 at the Collège de France, in Gérard Berry's 2017-2018 lecture course (https://www.college-de-france.fr/site/gerard-berry/seminar-2018-03-07-17h30.htm).
Expertise
Jean-Pierre Talpin served as vice-president of CES 25 (Computer Science Evaluation Committee) of ANR.